Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings: 13550 (Lecture Notes in Computer Science, 13550)
by Bernd-Holger Schlingloff, Ming Chai
ISBN 13: 9783031171079
Format: Paperback (386 pages) Publisher: Springer Published: 21 Sep 2022
Save for later